1. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
2. Analysis, Architectures and Modelling of Embedded Systems :
پدیدآورنده : edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network architectures.,Computer science.,Computer-aided design.
3. Automated reasoning for systems biology and medicine /
پدیدآورنده : Pietro Liò, Paolo Zuliani, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational biology.,Medical informatics.,Systems biology.,Computational biology.,Medical informatics.,Systems biology.
رده :
QH324
.
2
.
A98
2019
4. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
5. Computer Security -- ESORICS 92 :
پدیدآورنده : edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)
6. Cybernetics and automation control theory methods in intelligent algorithms :
پدیدآورنده : Radek Silhavy, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cybernetics, Congresses.,Information theory, Congresses.,Cybernetics.,Information theory.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
Q300
.
C93
2019
7. Formal Methods for Distributed System Development :
پدیدآورنده : PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Software engineering.
8. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
9. Innovative security solutions for information technology and communications :
پدیدآورنده : Jean-Louis Lanet, Cristian Toma (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Information technology-- Security measures, Congresses.,Computer networks-- Security measures.,Computer security.,Information technology-- Security measures.
رده :
QA76
.
9
.
A25
10. Mathematical Foundations of Computer Science 1977 :
پدیدآورنده : by J. Gruska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA267
.
B954
1977
11. NASA Formal Methods :
پدیدآورنده : Julia M. Badger, Kristin Yvonne Rozier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019
12. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
13. Programming and Mathematical Method :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1992
14. Relations and Graphs :
پدیدآورنده : by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
15. Theoretical Foundations of Computer Graphics and CAD
پدیدآورنده : edited by Rae A. Earnshaw.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1988
16. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
17. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
18. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer systems- - Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2003
19. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer systems -- Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2004
20. Verification of reactive systems :
پدیدآورنده : Klaus Schneider.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
